Logic in AI year

The idea is a one year study including the best people we
can get with interest and accomplishment in applying logic
to AI.  It is proposed to keep the focus quite narrow.

Candidates
McCarthy
Lifschitz
Shoham
Lin, Fangzhen
David Poole, Waterloo
Ma Xiwen
Don Perlis
David Etherington
Drew McDermott if his views happen to be positive at the
time.  Otherwise, we'll have him as an early visitor to
present challenges.
Barwise - same comment
Grosof?
Nilsson
Genesereth - related interests but hasn't worked on
formalization problems.

We could have the study at Stanford at CSLI or conceivably
at CASBS.  NSF or other agency would be asked for full
support of the participants' salaries for the year and
auxiliary expenses including use of computer facilities.